7bits たかが論理，されどProlog - 共立出版コンピュータサイエンス誌『bit』